Beating Paralysis By Analysis